Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
591	A sequence approach to linear perfect hash families∗ S. G. Barwick and Wen-Ai Jackson School of Pure Mathematics, University of Adelaide, Adelaide 5005, Australia May 12, 2006 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-05-12 17:59:13 Formal languages Algebra Dual space Linear algebra Interpretation Golden ratio base Linear temporal logic Mathematical analysis Mathematics Functional analysis
592	Memory Association Machine: Growing Form from Context Benjamin David Robert Bogart Thecla Schiphorst Add to Reading List Source URL: puredata.info Language: English - Date: 2012-02-22 09:40:24 Information technology management Database management systems Database theory Business intelligence Data analysis Big data Analytics Data visualization Database Data management Technology Formal sciences
593	Harnessing Big Data to Solve Complex Problems: The Cloud Analytics Reference Architecture Add to Reading List Source URL: mena.boozallen.com Language: English - Date: 2015-04-28 20:22:42 Information technology management Database management systems Database theory Business intelligence Data analysis Big data Analytics Data visualization Database Data management Technology Formal sciences
594	Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage Chetan Bansal1 , Karthikeyan Bhargavan2, Antoine Delignat-Lavaud2 , and Sergio Maﬀeis3, 1 Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2013-01-25 08:24:32 Security Secure communication Internet standards Computer network security Transport Layer Security Password Public-key cryptography HTTP Secure Session hijacking Cryptography Cryptographic protocols Computing
595	Large-Scale Social-Media Analytics on Stratosphere Christoph Boden, Volker Markl TU Berlin Germany Add to Reading List Source URL: www2013.org Language: English - Date: 2014-07-21 08:46:58 Data management Parallel computing Data analysis Emerging technologies Distributed computing architecture MapReduce Analytics Big data Data mining Concurrent computing Computing Formal sciences
596	A Machine Learning Approach for Stock Price Prediction ∗ Carson Kai-Sang Leung Richard Kyle MacKinnon Add to Reading List Source URL: www.cs.umanitoba.ca Language: English - Date: 2014-08-12 21:37:58 Formal sciences Regression analysis Support vector machine Data mining Overfitting Tree decomposition Statistics Machine learning Statistical classification
597	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:45:56 Type theory Data types Formal languages Procedural programming languages Program analysis Type system Type safety C++ Expr Software engineering Computing Computer programming
598	5th Global TechMining Conference Data Science, TechMining, and Innovation Call for Papers submissions due April 30, 2015 Add to Reading List Source URL: www.gtmconference.org Language: English - Date: 2015-03-31 17:02:05 Academia Data analysis Statistics Analytics Business intelligence Mathematical finance Presentation Poster session Text analytics Knowledge Science Formal sciences
599	in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Presspp 15–18 1 Formal Description of Autopoiesis for Analytic Models of Life and Social Systems Add to Reading List Source URL: alife8.alife.org Language: English - Date: 2013-01-14 08:21:50 Autopoiesis Cybernetics Philosophy of mind Self-organization Systems theory Thermodynamics Group action Abstract algebra Mathematical analysis Mathematics
600	Edith Cowan University Application of Predictive Analytics to Higher Degree Research Course Completion Times Application of Decision Theory to PhD Course Completions (2006 – 2013) Add to Reading List Source URL: www.aair.org.au Language: English - Date: 2013-12-11 18:58:27 Formal sciences Knowledge Data analysis Insurance Predictive analytics CHAID Edith Cowan University Doctor of Philosophy Data mining Statistics Business intelligence Science

UPDATE